4*integral_0^1 (1/(1+x^2))